namespace Plang.Compiler
{
    public enum CompilerOutput
    {   
        PChecker,
        PObserve,
        Stately,
        PEx,
        PVerifier
    }
}